Order Isomorphisms of Cones
نویسندگان
چکیده
منابع مشابه
Second-Order Type Isomorphisms Through Game Semantics
The characterization of second-order type isomorphisms is a purely syntactical problem that we propose to study under the enlightenment of game semantics. We study this question in the case of second-order λμ-calculus, which can be seen as an extension of system F to classical logic, and for which we define a categorical framework: control hyperdoctrines. Our game model of λμ-calculus is based ...
متن کاملIsomorphisms of P4-graphs
For graphs G and G' with minimum degree is = 3 and satisfying one of two other conditions, we prove that any isomorphism from the P4 -graph P4 (G) to P4 ( G') can be induced by a vertex-isomorphism of G onto G'. We also prove that a connected graph G is isomorphic to its P4 -graph P4 (G) if and only if G is a cycle of length at least 4.
متن کاملasymptotic property of order statistics and sample quntile
چکیده: فرض کنید که تابعی از اپسیلون یک مجموع نامتناهی از احتمالات موزون مربوط به مجموع های جزئی براساس یک دنباله از متغیرهای تصادفی مستقل و همتوزیع باشد، و همچنین فرض کنید توابعی مانند g و h وجود دارند که هرگاه امید ریاضی توان دوم x متناهی و امیدریاضی x صفر باشد، در این صورت می توان حد حاصلضرب این توابع را بصورت تابعی از امید ریاضی توان دوم x نوشت. حالت عکس نیز برقرار است. همچنین ما با استفاده...
15 صفحه اولIsomorphisms of Root Data
Title of dissertation: CLASSICAL INVARIANTS OF PRINCIPAL SERIES AND ISOMORPHISMS OF ROOT DATA Robert Alexander McLean II Doctor of Philosophy, 2016 Dissertation directed by: Professor Jeffrey Adams Department of Mathematics We develop some new techniques to calculate the Schur indicator for selfdual irreducible Langlands quotients of the principal series representations. Using these techniques ...
متن کاملSecond-order optimality and duality in vector optimization over cones
In this paper, we introduce the notion of a second-order coneconvex function involving second-order directional derivative. Also, second-order cone-pseudoconvex, second-order cone-quasiconvex and other related functions are defined. Second-order optimality and Mond-Weir type duality results are derived for a vector optimization problem over cones using the introduced classes of functions.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1966
ISSN: 0002-9939
DOI: 10.2307/2035727